member(X, [X | Rest]);
member(X, [Y | Rest]) :- member(X, Rest);
